{-# LANGUAGE NamedFieldPuns #-}
 module Main where
main = putStr "foo"
